26

Connected choice and the Brouwer fixed point theorem

Year:
2019
Language:
english
File:
PDF, 597 KB
english, 2019
32

Singular coverings and non-uniform notions of closed set computability

Year:
2008
Language:
english
File:
PDF, 250 KB
english, 2008
33

Mathematical programming based debugging

Year:
2010
Language:
english
File:
PDF, 227 KB
english, 2010